A Calculus of Countable Broadcasting Systems
نویسندگان
چکیده
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions of CCB, and give a sound and complete axiom system for the congruence relation of finite agents. CCB is developed for analyzing a multi-agent model with broadcast communication. The most important property of CCB is that a broadcaster of a message can know the number of receivers of the message after broadcasting. The property is not easily described in the other process algebras. The multi-agent model is useful for constructing extensible systems. A disadvantage of the multi-agent model is that agents must be designed very carefully because unexpected behavior may arise by interactions between the agents. Therefore we want to analyze behavior of the agents.
منابع مشابه
A Cluster-Based Hybrid broadcasting mechanism for Quantum Systems with Power Management and delay Constraint in the MAC sub-layer
متن کامل
The Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems
Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...
متن کاملCOUNTABLE COMPACTNESS AND THE LINDEL¨OF PROPERTY OF L-FUZZY SETS
In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...
متن کاملObservables for Mobile and Wireless Broadcasting Systems
We discuss the presence of localities in observables for process calculi for mobile and wireless broadcasting systems in the context of weak barbed congruences and demonstrate that observability of the locality of a broadcasting node may be unsuitable when abstracting from node mobility, a natural abstraction current calculi agree upon. The discussion is carried out through a calculus bAπ, a co...
متن کاملNon-Newtonian Fuzzy numbers and related applications
Although there are many excellent ways presenting the principle of the classical calculus, the novel presentations probably leads most naturally to the development of the non-Newtonian calculus. The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Since this self-contained work is intended for a wide audience, inc...
متن کامل